home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / modprolg / mod-prol.lha / Prolog / Documentation / SB_Prolog_Doc / sbprolog_doc.ind < prev    next >
File List  |  1992-01-31  |  10KB  |  426 lines
  1. \begin{theindex}
  2.  
  3.   \item !/0, 18, \bold{26}, 28, 58, 60, 61, 76
  4.   \item $</2$, \bold{24}
  5.   \item $=</2$, \bold{24}
  6.   \item $=\backslash\,=/2$, 24
  7.   \item $>/2$, \bold{24}
  8.   \item $>=$/2, \bold{24}
  9.   \item $\backslash$=/2, \bold{25}
  10.   \item $\backslash\,==/2$, \bold{30}
  11.   \item $\wedge$, 29
  12.   \item $\wedge/2$, \bold{29}
  13.   \item ,/2, \bold{25}
  14.   \item -$>/2$, \bold{26}
  15.   \item :--/1, 11, 16, 57
  16.   \item ::--/2, \bold{56}
  17.   \item ;/2, \bold{25}
  18.   \item =../2, \bold{27}
  19.   \item =/2, \bold{25}
  20.   \item =:=/2, \bold{24}
  21.   \item ==/2, \bold{30}
  22.   \item ?=/2, \bold{25}
  23.   \item $</2$, \bold{30}
  24.   \item $=</2$, \bold{31}
  25.   \item $>/2$, \bold{30}
  26.   \item $>=/2$, \bold{31}
  27.   \item \$absmember/2, \bold{65}
  28.   \item \$alloc\_buff/5, \bold{42}
  29.   \item \$append/3, \bold{65}
  30.   \item \$asm/3, \bold{52}
  31.   \item \$assertf\_alloc\_t, \bold{43}
  32.   \item \$current\_atom/2, \bold{36}
  33.   \item \$current\_functor/3, \bold{36}
  34.   \item \$current\_predicate/3, \bold{37}
  35.   \item \$db\_add\_clref/7, \bold{43}
  36.   \item \$db\_assert\_fact/5, \bold{43}
  37.   \item \$db\_call\_prref/2, \bold{44}
  38.   \item \$db\_call\_prref\_s/2, \bold{44}
  39.   \item \$db\_get\_clauses/3, \bold{44}
  40.   \item \$db\_new\_prref/3, \bold{43}
  41.   \item \$exists/1, \bold{21}
  42.   \item \$getenv/2, \bold{38}
  43.   \item \$member/2, \bold{65}
  44.   \item \$member2/2, \bold{66}
  45.   \item \$memberchk/2, \bold{65}
  46.   \item \$merge/3, \bold{65}
  47.   \item \$nthmember/3, \bold{65}
  48.   \item \$reverse/2, \bold{65}
  49.   \item \$trace/0, 47
  50.   \item \$untrace/0, 47
  51.   \item \_\$interrupt/2, 49
  52.   \item `C'/3, \bold{62}
  53.  
  54.   \indexspace
  55.  
  56.   \item abolish
  57.     \subitem /1, \bold{35}
  58.     \subitem /2, \bold{35}
  59.   \item abort
  60.     \subitem trace facility, 45
  61.   \item abort/0, \bold{38}, 38
  62.   \item alloc\_heap/2, \bold{32}
  63.   \item alloc\_perm/2, \bold{32}
  64.   \item arg/3, \bold{27}, 77
  65.   \item arguments
  66.     \subitem processing all from a term, 77
  67.   \item arithmetic, 22
  68.   \item assembler
  69.     \subitem options, 52
  70.   \item assembly, 52
  71.   \item assert, 33
  72.     \subitem /1, \bold{33}
  73.     \subitem /2, \bold{33}
  74.     \subitem /4, \bold{34}
  75.   \item assert\_union/2, \bold{33}
  76.   \item asserta
  77.     \subitem /1, \bold{33}
  78.     \subitem /2, \bold{33}
  79.   \item asserti/2, \bold{33}
  80.   \item assertz
  81.     \subitem /1, \bold{33}
  82.     \subitem /2, \bold{33}
  83.   \item atom/1, \bold{26}
  84.   \item atomic/1, \bold{27}
  85.   \item atoms, 11
  86.  
  87.   \indexspace
  88.  
  89.   \item backtrack points, 75
  90.   \item bagof/3, \bold{29}
  91.   \item behaviour, standard execution, 18
  92.   \item break/0, \bold{38}
  93.   \item buffers, 31
  94.   \item builtins, adding, 79
  95.   \item byte code
  96.     \subitem files, 5--8, 11, 47, 52
  97.       \subsubitem compiler, 50
  98.       \subsubitem concatenating, 9, 50
  99.       \subsubitem loading, 9
  100.       \subsubitem overwriting trace points, 45
  101.     \subitem translator, 7
  102.  
  103.   \indexspace
  104.  
  105.   \item call/1, \bold{28}
  106.   \item call\_ref
  107.     \subitem /2, \bold{42}
  108.     \subitem /3, \bold{42}
  109.   \item character I/O, 22
  110.   \item clause, 17
  111.     \subitem /2, \bold{34}
  112.     \subitem /3, \bold{35}
  113.   \item {\tt cmplib}, 7, 50
  114.   \item compare/3, \bold{31}
  115.   \item comparison of terms, 30
  116.   \item compile
  117.     \subitem /1, \bold{8}
  118.     \subitem /2, \bold{8}
  119.     \subitem /3, \bold{8}
  120.     \subitem /4, \bold{8}
  121.   \item Compiler, 50
  122.     \subitem directives, 52
  123.     \subitem invoking, 50
  124.     \subitem options, 51
  125.   \item compiling programs, 8
  126.   \item conlength/2, \bold{28}, \bold{32}
  127.   \item constants, 11
  128.   \item consult, 8, 10
  129.     \subitem /1, \bold{10}
  130.     \subitem /2, \bold{10}
  131.     \subitem options, 10
  132.   \item consulting programs, 10
  133.   \item control, extra, 26
  134.   \item count/1, \bold{63}
  135.   \item countpreds/1, \bold{64}
  136.   \item cputime/1, \bold{38}
  137.   \item Credits, 66
  138.   \item current\_atom/1, \bold{36}
  139.   \item current\_functor/2, \bold{36}
  140.   \item current\_predicate/2, \bold{37}
  141.   \item cut, 18, \bold{26}, 28, 58, 60--61, 76
  142.   \item cuts and If-Then-Else, 18
  143.  
  144.   \indexspace
  145.  
  146.   \item database, internal, 35
  147.   \item dcg/2, \bold{61}
  148.   \item debug/0, \bold{46}
  149.   \item debugging, 44
  150.     \subitem /0, \bold{46}
  151.   \item declarations
  152.     \subitem mode, 52
  153.   \item definite clause grammars, 60
  154.   \item definitions
  155.     \subitem macros, 56
  156.   \item directives
  157.     \subitem Compiler, 52
  158.     \subitem indexing, 54
  159.   \item directories, system, 7
  160.   \item display/1, \bold{21}
  161.   \item dynamic loader search path, 6
  162.  
  163.   \indexspace
  164.  
  165.   \item efficiency, coding for, 75
  166.   \item environmental predicates, 38
  167.   \item erase/1, \bold{36}
  168.   \item et/1, \bold{59}
  169.   \item et\_answers/2, \bold{60}
  170.   \item et\_calls/2, \bold{60}
  171.   \item et\_points/1, \bold{59}
  172.   \item et\_remove/1, \bold{60}
  173.   \item et\_star/1, \bold{59}
  174.   \item eval/2, \bold{24}
  175.   \item evaluable predicates, 19, 72
  176.   \item executing programs, 8
  177.   \item execution behaviour, standard, 18
  178.   \item execution directives, 11
  179.   \item exotica, 42
  180.   \item exp/2, \bold{25}
  181.   \item expand\_term/2, \bold{62}
  182.   \item extension tables
  183.     \subitem memo relations, 57
  184.  
  185.   \indexspace
  186.  
  187.   \item fail/0, \bold{26}
  188.   \item file handling, 20
  189.   \item findall/3, \bold{29}
  190.   \item float/1, \bold{27}
  191.   \item floatc/3, \bold{24}
  192.   \item floating point numbers, unification of, 19
  193.   \item floor/2, \bold{24}
  194.   \item functor/3, \bold{27}
  195.  
  196.   \indexspace
  197.  
  198.   \item gennum/1, \bold{41}
  199.   \item gensym/2, \bold{42}
  200.   \item get/1, \bold{22}
  201.   \item get0/1, \bold{22}
  202.   \item getting started, 6
  203.   \item global values, 41
  204.   \item globalset/1, \bold{41}
  205.   \item grammars
  206.     \subitem definite clause, 60
  207.  
  208.   \indexspace
  209.  
  210.   \item high-level tracing, 44
  211.  
  212.   \indexspace
  213.  
  214.   \item I/O
  215.     \subitem term, 21
  216.   \item If-Then-Else and cuts, 18
  217.   \item index/3, 33, \bold{54}
  218.   \item indexing, 34
  219.     \subitem directives, 54
  220.     \subitem on floating point, 19
  221.   \item input, 20
  222.   \item instance/2, \bold{36}
  223.   \item integer/1, \bold{26}
  224.   \item integers, 11
  225.   \item internal database, 35
  226.   \item interrupts, 49
  227.   \item invoking the Compiler, 50
  228.   \item invoking the simulator, 7, 47
  229.   \item is/2, \bold{24}
  230.   \item is\_buffer/1, \bold{27}
  231.  
  232.   \indexspace
  233.  
  234.   \item keysort/2, \bold{31}
  235.  
  236.   \indexspace
  237.  
  238.   \item length/2, \bold{66}
  239.   \item libraries, 54
  240.   \item linking, dynamic search path, 6
  241.   \item listing
  242.     \subitem /0, \bold{36}
  243.     \subitem /1, \bold{36}
  244.   \item load/1, \bold{9}
  245.   \item loader, dynamic search path, 6
  246.   \item loading byte code files, 9
  247.   \item low-level predicates, 42
  248.   \item low-level tracing, 47
  249.  
  250.   \indexspace
  251.  
  252.   \item Macro Expander options, 57
  253.   \item macros, 55
  254.     \subitem definition of, 56
  255.   \item memo relations
  256.     \subitem extension tables, 57
  257.   \item meta-logical predicates, 26
  258.   \item mode
  259.     \subitem declarations, 52
  260.     \subitem values, 53
  261.   \item mode/3, \bold{53}
  262.   \item modification of the program, 32
  263.  
  264.   \indexspace
  265.  
  266.   \item name/2, \bold{28}
  267.   \item nl/0, \bold{22}
  268.   \item nocount/1, \bold{63}
  269.   \item nodebug/0, \bold{46}
  270.   \item nodynload/2, \bold{39}
  271.   \item noet/1, \bold{60}
  272.   \item nonvar/1, \bold{26}
  273.   \item noprofile/0, \bold{64}
  274.   \item nospy/1, \bold{46}
  275.   \item not unifiable, \see{$\backslash$=/2}{25}
  276.   \item not/1, \bold{26}
  277.   \item notime/1, \bold{63}
  278.   \item number/1, \bold{27}
  279.  
  280.   \indexspace
  281.  
  282.   \item occurs check
  283.     \subitem unification without, 18
  284.   \item op/3, \bold{15}, \bold{38}
  285.   \item operational semantics, 18
  286.   \item operators, 14
  287.   \item options
  288.     \subitem Compiler, 51
  289.     \subitem Macro Expander, 57
  290.     \subitem Simulator, 48
  291.   \item output, 20
  292.  
  293.   \indexspace
  294.  
  295.   \item path, search, 6
  296.   \item phrase/2, \bold{61}
  297.   \item portray\_clause/2, \bold{22}
  298.   \item portray\_term/2, \bold{22}
  299.   \item predicate\_property/2, \bold{37}
  300.   \item predicates
  301.     \subitem evaluable, 72
  302.   \item predicates, environmental, 38
  303.   \item predicates, evaluable, 19
  304.   \item predicates, low-level, 42
  305.   \item predicates, meta-logical, 26
  306.   \item print/1, \bold{21}
  307.   \item print\_al/2, \bold{22}
  308.   \item print\_ar/2, \bold{22}
  309.   \item prof\_reset/1, \bold{64}
  310.   \item prof\_stats
  311.     \subitem /0, \bold{64}
  312.     \subitem /1, \bold{65}
  313.   \item profile/0, \bold{64}
  314.   \item profiling programs, 62
  315.   \item profiling/0, \bold{64}
  316.   \item program, state of, 36
  317.   \item put/1, \bold{22}
  318.  
  319.   \indexspace
  320.  
  321.   \item query, 17
  322.   \item query evaluator, 7, 47
  323.  
  324.   \indexspace
  325.  
  326.   \item read/1, \bold{21}
  327.   \item real/1, \bold{26}
  328.   \item reconsult, 10
  329.   \item recorda/3, \bold{35}
  330.   \item recorded/3, \bold{35}
  331.   \item recordz/3, \bold{35}
  332.   \item registers
  333.     \subitem minimizing data movement between, 77
  334.   \item repeat/0, \bold{26}
  335.   \item resetcount/1, \bold{64}
  336.   \item resettime/1, \bold{64}
  337.   \item restore/1, \bold{38}
  338.   \item retract/1, \bold{35}
  339.   \item rounding, 23
  340.   \item rule, 17
  341.  
  342.   \indexspace
  343.  
  344.   \item save/1, \bold{38}
  345.   \item search path, 6
  346.   \item see/1, \bold{20}
  347.   \item seeing/1, \bold{20}
  348.   \item seen/0, \bold{20}
  349.   \item semantics, operational, 18
  350.   \item setof/3, \bold{29}
  351.   \item sets, 29
  352.   \item SIMPATH, 6, 9
  353.   \item Simulator, 47
  354.     \subitem options, 48
  355.   \item simulator, invoking, 7, 47
  356.   \item sin/2, \bold{25}
  357.   \item sort/2, \bold{31}
  358.   \item spy/1, \bold{46}
  359.   \item spypreds/1, \bold{47}
  360.   \item square/2, \bold{25}
  361.   \item standard execution behaviour, 18
  362.   \item starting, 6
  363.   \item state of the program, 36
  364.   \item statistics
  365.     \subitem /0, \bold{39}
  366.     \subitem /2, \bold{39}
  367.   \item strings, 13
  368.   \item structure/1, \bold{27}
  369.   \item subsumes/2, \bold{66}
  370.   \item symtype/2, \bold{40}
  371.   \item syntax, 11
  372.   \item syscall/3, \bold{40}
  373.   \item system directories, 7
  374.   \item system/1, \bold{40}
  375.  
  376.   \indexspace
  377.  
  378.   \item tab/1, \bold{22}
  379.   \item tell/1, \bold{21}
  380.   \item telling/1, \bold{21}
  381.   \item term
  382.     \subitem processing all arguments of, 77
  383.   \item term I/O, 21
  384.   \item term\_expansion/2, 62
  385.   \item terms, 11
  386.     \subitem comparison of, 30
  387.   \item testing unifiability, 78
  388.   \item time/1, \bold{63}
  389.   \item timepreds/1, \bold{64}
  390.   \item told/0, \bold{21}
  391.   \item trace
  392.     \subitem options, 45
  393.   \item trace/1, \bold{44}
  394.   \item tracepreds/1, \bold{46}
  395.   \item tracing
  396.     \subitem high-level, 44
  397.     \subitem low-level, 47
  398.   \item trimbuff/3, \bold{32}
  399.   \item true/0, \bold{25}
  400.  
  401.   \indexspace
  402.  
  403.   \item undefined\_pred/1, \bold{8}
  404.   \item unifiability
  405.     \subitem testing, 78
  406.   \item unification
  407.     \subitem floating point numbers, 19
  408.     \subitem without occurs check, 18
  409.   \item Unix
  410.     \subitem system calls, \bold{40}
  411.   \item untrace/1, \bold{46}
  412.  
  413.   \indexspace
  414.  
  415.   \item var/1, \bold{26}
  416.  
  417.   \indexspace
  418.  
  419.   \item WAM, 5, 19, 49, 52
  420.   \item write/1, \bold{21}
  421.   \item writename/1, \bold{21}
  422.   \item writeq/1, \bold{21}
  423.   \item writeqname/1, \bold{21}
  424.  
  425. \end{theindex}
  426.